Curves of Descent
نویسندگان
چکیده
Steepest descent is central in variational mathematics. We present a new transparent existence proof for curves of near-maximal slope — an influential notion of steepest descent in a nonsmooth setting. We moreover show that for semi-algebraic functions — prototypical nonpathological functions in nonsmooth optimization — such curves are precisely the solutions of subgradient dynamical systems.
منابع مشابه
A descent method for explicit computations on curves
It is shown that the knowledge of a surjective morphism $Xto Y$ of complex curves can be effectively used to make explicit calculations. The method is demonstrated by the calculation of $j(ntau)$ (for some small $n$) in terms of $j(tau)$ for the elliptic curve with period lattice $(1,tau)$, the period matrix for the Jacobian of a family of genus-$2$ curves complementing the classi...
متن کاملTrajectories of Descent
Steepest descent drives both theory and practice of nonsmooth optimization. We study slight relaxations of two influential notions of steepest descent curves — curves of maximal slope and solutions to evolution equations. In particular, we provide a simple proof showing that lower-semicontinuous functions that are locally Lipschitz continuous on their domains — functions playing a central role ...
متن کاملInfinite Descent on Elliptic Curves
We present an algorithm for computing an upper bound for the difference of the logarithmic height and the canonical height on elliptic curves. Moreover a new method for performing the infinite descent on elliptic curves is given, using ideas from the geometry of numbers. These algorithms are practical and are demonstrated by a few examples.
متن کاملFinite Descent Obstructions and Rational Points on Curves Draft
Let k be a number field and X a smooth projective k-variety. In this paper, we discuss the information obtainable from descent via torsors under finite k-group schemes on the location of the k-rational points on X within the adelic points. We relate finite descent obstructions to the Brauer-Manin obstruction; in particular, we prove that on curves, the Brauer set equals the set cut out by finit...
متن کاملFinding Rational Points on Elliptic Curves Using 6-descent and 12-descent
We explain how recent work on 3-descent and 4-descent for elliptic curves over Q can be combined to search for generators of the Mordell-Weil group of large height. As an application we show that every elliptic curve of prime conductor in the SteinWatkins database has rank at least as large as predicted by the conjecture of Birch and Swinnerton-Dyer.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- SIAM J. Control and Optimization
دوره 53 شماره
صفحات -
تاریخ انتشار 2015